#include<stdio.h>
void main()
{
	char ch1, ch2;
	ch1 = getchar();
	ch2 = getchar();
	putchar(ch1 + 32);
	putchar(ch2 + 32);
	putchar('\n');
}